Anwendungsbezogene Analyse der Robustheit von Digitalen Schaltungen
نویسندگان
چکیده
Continuously shrinking feature sizes lead to an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Thus, analyzing the fault tolerance of a given implementation becomes an important step in the design process. This can be done by simulation based fault injection which does not cover all potential scenarios or by formal techniques which conservatively cover any scenario and any potential fault. In this paper, we show how to use application specific knowledge when formally analyzing an implementation. Constraints are extracted from an application to evaluate the design under more realistic conditions. The experimental results show, that fault tolerance with respect to a certain application can be significantly higher than the fault tolerance without any
منابع مشابه
Entwurf von Controller-Schaltungen für Kommunikationsprotokolle mit dem Protocol-Compiler von Synopsys
Im Bereich der digitalen Kommunikations-Elektronik werden zur Bearbeitung von Datenprotokollen aus Geschwindigkeitsgründen oft Controller-Schaltungen eingesetzt. Der Protocol-Compiler von Synopsys ist ein neues Werkzeug, das auf diesen Aufgabenbereich spezialisiert ist. Durch eine weitgehend graphische, protokollorientierte Modellierungstechnik und die problemlose Einbettung in etablierte Desig...
متن کاملDigitale Geschäftsmodelle im Profisport - Ein Ist-Analyse am Beispiel der National Football League
Professionelle Sportorganisationen haben eine sehr große Anhängerschaft in Sozialen Netzwerken. Die Frage, wie dieser Popularitätsvorteil wirtschaftlich verwertet werden kann, bleibt jedoch größtenteils noch unbeantwortet. Ziel dieser Arbeit ist es daher, eine Ist-Analyse der digitalen Aktivitäten der National Football League (NFL), der umsatzstärkste Liga der Welt, durchzuführen. Die Ergebniss...
متن کاملQuantization effects on digital watermarks
Digital watermarking is the process of introducing small modifications into a copy of a digital document that can be detected later. The embedded information can be used to determine the document’s owner or simply to distinguish several copies. However, coincidental or malicious “attacks” can degrade the robustness of watermark detection. Here, uniform scalar quantization of watermarked documen...
متن کامل"Der Best-of-breed-Ansatz scheitert in der Praxis sehr oft"
24 Digitale Forensik – den modernen Tätern auf der Spur Bei der Digitalen Forensik geht es um die elektronische Untersuchung von IT-Systemen bei verdächtigen Vorfällen und um das Hervorbringen von versteckten oder unbekannten kriminalistischen Informationen. Im Mittelpunkt stehen dabei das Erfassen, die Analyse und die Auswertung von digitalen Spuren, die ein möglicher Täter hinterlassen hat. V...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009